B-based Consistency Checking of UML Diagrams
نویسنده
چکیده
The translation from UML specifications to B gives a way to analyse rigorously UML specifications via their corresponding B formal specifications, thanks to B support tools. This paper presents a B-based consistency model for UML specifications composed of class, object and realisation diagrams for UML operations. The consistency model consists of proof obligations for the B specification derived from the UML specification.
منابع مشابه
Ensuring Consistency in Different IS Models – UML Case Study
Information systems (IS) design is often modelled as a collection of diagrams (e.g. UML diagrams), to depict different aspects of a system such as behaviour, structure, functionality, etc. Refinement of models and the evolving nature of software may lead to inconsistencies in these diagrams. Inconsistent IS model specification might be transformed to an incoherent and conflicting system. Curren...
متن کاملScalable Consistency Checking Between Diagrams-The ViewIntegra Approach
The Unified Modeling Language (UML) supports a wide range of diagrams for modeling software development concerns. UML diagrams are independent but connected; their meta-model describes them under a common roof. Despite the advances of UML, we found that the problem of ensuring consistency between UML diagrams has not been solved. In the past years, we have developed an approach for automated co...
متن کاملA Dual-Formalism Approach to Checking Consistency of Class and State Diagrams in UML
The B Abstract Machine Notation (AMN) and the notation of Communicating Sequential Processes (CSP) have previously been applied to formalise the UML class and state diagrams, respectively. The paper discusses their integrated use in checking the consistency between the two UML diagrams based on some recent results of research in integrated formal methods. Through a small information system exam...
متن کاملChecking Consistency between UML Class and State Models Based on CSP and B
The B Abstract Machine Notation (AMN) and the notation of Communicating Sequential Processes (CSP) have previously been applied to formalise the UML class and state diagrams, respectively. This paper discusses their integrated use in checking the consistency between the two kinds of UML diagrams based on some recent results of research in integrated formal methods. Through a small information s...
متن کاملOn the complexities of consistency checking for restricted UML class diagrams
Automatic debugging of UML class diagrams helps in the visual specification of software systems because users cannot detect errors in logical consistency easily. This paper focuses on tractable consistency checking of UML class diagrams. We accurately identify inconsistencies in these diagrams by translating them into first-order predicate logic generalized by counting quantifiers and classify ...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2005